thats Dash to Dock GNOME Shell extension, but budges and progress bars might come by default to Ubuntu Dock for Ubuntu 17.10 and GNOME 3.26https://github.com/micheleg/dash-to-dock/pull/590btw songs are in the end of the video!